structure theorem